Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings

We describe a small but non-trivial 3-agent-robotics scenario by two diierent methods, viz. resource-oriented deductive planning and logical berings. The ultimate aim is to nd a semantics for planning methods by means of berings. To this end, a comparison of the two methods is made and illustrated by the sample scenario, and the correspondences between the basic notions for both methods are clariied. The berings method is found to be useful in modeling communication and interaction between cooperating agents, thanks to the local/global distinction that is inherent to this framework. Possible extensions of the framework, like e.g. formulas dependent on space and/or time, are discussed .